@rising(#a1) --> <<>> [2,5] (#a0) 
